home *** CD-ROM | disk | FTP | other *** search
/ Dr. Windows 3 / dr win3.zip / dr win3 / PROGRAMR / RTX2000.ZIP / rtx2000 / fctest next >
Encoding:
Text File  |  1993-09-01  |  10.0 KB  |  451 lines
  1. ( This is a test file for the fc compiler which demonstrates code production and
  2. optimization -- it is not an actual running program )
  3.  
  4. ( Compare the .lst file obtained from compiling this file using the -l option 
  5. with this source file to see how code is produced )
  6.  
  7. (Throughout the file, commas are used to cause immeadate code production.
  8. This causes the compiler to stop looking for more instructions to combine into
  9. the machine code currently being produced. ) 
  10.  
  11. ( Note that there are several types of constants used 
  12.     a: short positive constants 0 to 31
  13.     b: short negative constants -32 to -1
  14.     c: long constants (all other sixteen bit numbers)
  15. )
  16.  
  17. : shift_test
  18. ( Each of 15 shift instructions )    
  19. 0< 
  20. 2* 
  21. 2*c 
  22. cU2/ 
  23. c2/ 
  24. U2/ 
  25. 2/ 
  26. N2* 
  27. N2*c 
  28. D2* 
  29. D2*c 
  30. cUD2/
  31. cD2/ 
  32. UD2/ 
  33. D2/
  34. nop
  35. ;
  36.  
  37.  
  38.  
  39. : alu_ops
  40. ( alu operations )
  41. and
  42. swap and
  43. - 
  44. swap -
  45. or 
  46. swap or
  47. + 
  48. swap +
  49. xor 
  50. swap xor
  51. nor 
  52. swap nor
  53. -c 
  54. swap -c
  55. nand
  56. swap nand
  57. +c
  58. swap +c
  59. xnor 
  60. swap xnor
  61. nop
  62. ;
  63.  
  64. : invert_shift_optional
  65. (following instructions can be combined together with a "not" and/or shift )
  66. (the shift and constants used are arbitrary )
  67.  
  68. drop dup                ( 16 bits )         
  69. drop dup 2* 
  70. drop dup not 
  71. drop dup not 2*               
  72. swap drop               ( 16 bits )                             
  73. swap drop 2* 
  74. swap drop not 
  75. swap drop not 2* 
  76. drop                    ( 16 bits )
  77. drop 2*  
  78. drop not 
  79. drop  not 2* 
  80. swap drop dup           ( 16 bits )
  81. swap drop dup 2* 
  82. swap drop dup not 
  83. swap drop dup not 2*  
  84. swap ,                    ( 16 bits )
  85. swap 2* 
  86. swap not 
  87. swap not 2* 
  88. dup                     ( 16 bits )
  89. dup 2* 
  90. dup not 
  91. dup not 2* 
  92. over ,                    ( 16 bits )
  93. over 2* 
  94. over not 
  95. over not 2* 
  96. over over               ( 32 bits )
  97. over over 2* 
  98. over over not 
  99. over over not 2*  
  100. over swap              ( 32 bits )
  101. over swap 2*
  102. over swap not 
  103. over swap not 2* 
  104. swap over               ( 32 bits )
  105. swap over 2* 
  106. swap over not 
  107. swap over not 2* 
  108. 0x15 g@ over            ( 32 bits )
  109. 0x15 g@ over 2* 
  110. 0x15 g@ over not 
  111. 0x15 g@ over not 2* 
  112. 0x15 over               ( 32 bits )
  113. 0x15 over 2* 
  114. 0x15 over not 
  115. 0x15 over not 2*  
  116. 0x15 swap               ( 32 bits )
  117. 0x15 swap 2* 
  118. 0x15 swap not 
  119. 0x15 swap not 2*  
  120. -1 swap                 ( 32 bits )
  121. -1 swap 2* 
  122. -1 swap not 
  123. -1 swap not 2* 
  124. 0x15 u@ over           ( 32 bits )
  125. 0x15 u@ over 2* 
  126. 0x15 u@ over not 
  127. 0x15 u@ over not 2*  
  128. @ over                  ( 32 bits )
  129. @ over 2* 
  130. @ over not 
  131. @ over not 2* 
  132. c@ over                 ( 32 bits )
  133. c@ over 2*
  134. c@ over not
  135. c@ over not 2*
  136. 0x5555 over             ( 48 bits )
  137. 0x5555 over 2* 
  138. 0x5555 over not 
  139. 0x5555 over not 2* 
  140. nop
  141. ;
  142.  
  143. : shift_optional
  144. (these instructions can be combined with a shift )
  145. (the shift and alu op are arbitrary )
  146. over over -           ( 16 bits )
  147. over over - 2/ 
  148. over -                ( 16 bits )
  149. over - 2/
  150. -                     ( 16 bits )
  151. - 2/
  152. swap over -           ( 16 bits )
  153. swap over - 2/ 
  154. not                   ( 16 bits )
  155. not 2/    
  156. nop
  157. ;
  158.  
  159. : invert_optional
  160. (these instuctions can be combined with a "not" )
  161. (constants are arbitrary )
  162. 0x15                   ( 16 bits - short positive constant )
  163. 0x15 not
  164. -10                   ( 16 bits - short negative constant )
  165. -10 not
  166. 0x15 swap drop        ( 16 bits )
  167. 0x15 swap drop not  
  168. -10 swap drop         ( 16 bits )
  169. -10 swap drop not
  170. drop 0x15             ( 16 bits )
  171. drop 0x15 not 
  172. drop -10              ( 16 bits )
  173. drop -10 not          
  174. dup 0x15              ( 32 bits )
  175. dup 0x15 not 
  176. 0x15 u@ swap          ( 16 bits )
  177. 0x15 u@ swap not  
  178. 0x15 u@               ( 16 bits )
  179. 0x15 u@ not
  180. dup 0x15 u@           ( 32 bits )
  181. dup 0x15 u@ not 
  182. dup 0x15 u!           ( 16 bits )
  183. dup 0x15 u! not     
  184. 0x15 u!               ( 16 bits )
  185. 0x15 u! not         
  186. @ swap                ( 16 bits )
  187. @ swap not      
  188. c@ swap               ( 16 bits )
  189. c@ swap not
  190. @                     ( 16 bits )
  191. @ not              
  192. c@                    ( 16 bits )
  193. c@ not
  194. dup @                 ( 32 bits )
  195. dup @ not
  196. dup c@                ( 32 bits )
  197. dup c@ not      
  198. dup @ swap 0x15       ( 32 bits )
  199. dup @ swap 0x15 not 
  200. dup c@ swap 0x15      ( 32 bits )
  201. dup c@ swap 0x15 not   
  202. swap drop @           ( 32 bits )
  203. swap drop @ not
  204. swap drop c@          ( 32 bits )
  205. swap drop c@ not       
  206. swap drop dup @ ,      ( 32 bits )
  207. swap drop dup @ not
  208. swap drop dup c@ ,      ( 32 bits )
  209. swap drop dup c@ not   
  210. swap drop dup @ swap 0x15      ( 32 bits )
  211. swap drop dup @ swap 0x15 not 
  212. swap drop dup c@ swap 0x15     ( 32 bits )
  213. swap drop dup c@ swap 0x15 not
  214. over swap !                    ( 16 bits )
  215. over swap ! not              
  216. over swap c!                   ( 16 bits )
  217. over swap c! not           
  218. swap over ! 0x15               ( 32 bits )
  219. swap over ! 0x15 not     
  220. swap over c! 0x15              ( 32 bits )
  221. swap over c! 0x15 not  
  222. over over ! 0x15               ( 32 bits )
  223. over over ! 0x15 not     
  224. over over c! 0x15              ( 32 bits )
  225. over over c! 0x15 not        
  226. !                               ( 16 bits )
  227. ! not
  228. c!                              ( 16 bits )
  229. c! not                    
  230. nop
  231. ;
  232.  
  233. : terminal    
  234. (these instructions can not be combined with any more instructions )
  235. 0x15 over -         ( 16 bits )
  236. dup 0x15 -          ( 16 bits )
  237. 0x15 -              ( 16 bits )
  238. 0x15 u@ over -      ( 16 bits )
  239. dup 0x15 u@ -       ( 16 bits )
  240. 0x15 u@ -           ( 16 bits )
  241. @ over -            ( 16 bits )
  242. c@ over -           ( 16 bits )
  243. dup @ swap          ( 16 bits )
  244. dup c@ swap ,        ( 16 bits )
  245. swap drop dup @ swap ,  ( 16 bits )
  246. swap drop dup c@ swap   ( 16 bits )
  247. @ 0x15                 ( 16 bits )
  248. c@ 0x15                ( 16 bits )
  249. swap drop @ 0x15       ( 16 bits )
  250. swap drop c@ 0x15      ( 16 bits )
  251. dup @ swap 0x15 -      ( 16 bits )
  252. dup c@ swap 0x15 -      ( 16 bits )
  253. swap drop dup @ swap 0x15 -   ( 16 bits )
  254. swap drop dup c@ swap 0x15 -  ( 16 bits )
  255. @+                         ( 16 bits )
  256. c@+                        ( 16 bits )
  257. @-                         ( 16 bits )
  258. c@-                        ( 16 bits )
  259. swap drop @+               ( 16 bits )
  260. swap drop c@+              ( 16 bits )
  261. swap drop @-               ( 16 bits )
  262. swap drop c@-              ( 16 bits )
  263. @ -                        ( 16 bits )
  264. c@ -                       ( 16 bits )
  265. swap over !                ( 16 bits )
  266. swap over c!               ( 16 bits )
  267. over over !                ( 16 bits )
  268. over over c!               ( 16 bits )
  269. ! 0x15                     ( 16 bits )
  270. c! 0x15                    ( 16 bits )
  271. over swap ! 0x15           ( 16 bits )
  272. over swap c! 0x15          ( 16 bits )
  273. !+                         ( 16 bits )
  274. c!+                        ( 16 bits )
  275. !-                         ( 16 bits )
  276. c!-                        ( 16 bits )
  277. over swap !+               ( 16 bits )
  278. over swap c!+              ( 16 bits )
  279. over swap !-               ( 16 bits )
  280. over swap c!-              ( 16 bits )
  281. swap over ! 0x15 -         ( 16 bits )
  282. swap over c! 0x15 -        ( 16 bits )
  283. over over ! 0x15 -         ( 16 bits )
  284. over over c! 0x15 -        ( 16 bits )
  285. nop
  286. ;
  287.  
  288. : g_types
  289. ( these instructions allow access of the ASIC bus )    
  290. 0x15 g@ drop                 ( 16 bits )
  291. 0x15 g@ drop not
  292. 0x15 g@                      ( 16 bits )
  293. 0x15 g@ not 
  294. dup 0x15 g@                  ( 32 bits )
  295. dup 0x15 g@ not 
  296. dup 0x15 g!                  ( 16 bits )
  297. dup 0x15 g! not 
  298. 0x15 g!                      ( 16 bits )
  299. 0x15 g! not 
  300. 0x15 g@ over -               ( 16 bits )
  301. dup 0x15 g@ -                ( 16 bits )
  302. 0x15 g@ -                    ( 16 bits )
  303. nop
  304. ;
  305.  
  306. : long_constants
  307. (these are instructions for loading long constants onto the stack )
  308. 0x5555 swap                   ( 32 bits )
  309. 0x5555 swap not 
  310. 0x5555                        ( 32 bits )
  311. 0x5555 not
  312. 0x5555 swap drop              ( 32 bits )
  313. 0x5555 swap drop not
  314. drop 0x5555                   ( 32 bits )
  315. drop 0x5555 not 
  316. dup 0x5555                    ( 48 bits )
  317. dup 0x5555 not   
  318. 0x5555 -                      ( 32 bits )
  319. dup 0x5555 -                  ( 32 bits )
  320. 0x5555 over -                 ( 32 bits )
  321. (Strings )
  322. "test"                        ( varies with length of string ) 
  323. "test" not                   
  324. (Tick)
  325. ['] alu_ops                 ( 32 bits )
  326. ['] alu_ops not 
  327. ['] test4                       ( 32 bits )
  328. ['] test4 not
  329. nop 
  330. ;
  331.  
  332. (Return coding)
  333. : test2 exit exit exit ;
  334. : test3 not ;
  335. : test4 1 ;
  336. : test5 0 g@ exit 1 g@ exit 2 g@ ;
  337. : test6 0 g! exit 1 g! exit 2 g! ;
  338. : test7 3 g@ exit 3 g! exit 4 g@ ;
  339. : test8 0x5555 exit 0x5555 ;
  340.  
  341. (swaps)
  342. : test9 swap swap swap swap swap ;
  343.  
  344. (0x3f0 code ( if nexting ))
  345. : test10
  346. if 
  347.     if
  348.         if 
  349.             if 
  350.                 if 
  351.                     if 
  352.                         if
  353.                             if 
  354.                                 if nop else 
  355.                                 nop then 
  356.                             else nop 
  357.                             then if nop then 
  358.                         then
  359.                     then 
  360.                 then
  361.             then 
  362.         then 
  363.     then
  364. then ;
  365.  
  366. (0x3f0 code (for next nesting))
  367. : test12
  368. for 
  369.     for 
  370.         for
  371.             for
  372.                 for 
  373.                     for
  374.                         for
  375.                             for
  376.                                 for
  377.                                     nop
  378.                                 next
  379.                             next
  380.                         next
  381.                     next
  382.                 next
  383.             next
  384.         next
  385.     next
  386. next ;
  387.  
  388. ( Note with word tables any undefined labels are assummed to be words )
  389.  
  390. word table1 { test2 test3 test4  0 1 2 3 -1 -2 -3 test11 }
  391.  
  392. byte table2 { 1 2 3 4 5 6 7 }
  393.  
  394. word table3 { table1 table2 table3 }
  395.  
  396. : test11
  397. ( demo of looping features )
  398. begin
  399.    begin
  400.      begin
  401.        begin
  402.          begin
  403.            begin
  404.              begin
  405.              again
  406.            again
  407.          again
  408.        again
  409.      again
  410.    again
  411. again
  412.  
  413. begin
  414.    begin
  415.      begin
  416.        begin
  417.          begin
  418.            begin
  419.              begin
  420.              until
  421.            until
  422.          until
  423.        until
  424.      until
  425.    until
  426. until
  427.  
  428. begin
  429.    begin
  430.      begin
  431.        begin
  432.          begin
  433.            begin
  434.              begin
  435.               while
  436.              repeat
  437.            while
  438.            repeat
  439.          while
  440.          repeat
  441.        while
  442.        repeat
  443.      while
  444.      repeat
  445.    while
  446.    repeat
  447. while
  448. repeat
  449. nop
  450. ;
  451.